Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
New Articles: Journal of Contemporary Archival Studies
archivespublishing.comยท1d
โš–๏ธArchive Ethics
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
A disenshittification moment from the land of mass storage
doctorow.medium.comยท7h
๐ŸงฒMagnetic Philosophy
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ingยท11h
๐ŸบZIP Archaeology
The Why of PGP Authentication
articles.59.caยท6h
๐Ÿ”‘Cryptographic Protocols
Sorting encrypted data without decryption: a practical trick
dev.toยท4hยท
Discuss: DEV
๐Ÿ”Hash Functions
Advancing Outlook email archiving & Digital Preservation at your organization
preservica.comยท1d
๐Ÿ”„Archival Workflows
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Never Ever Use Content Addressable Storage
frederic.vanderessen.comยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธPreservation Proofs
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
People rescuing forgotten knowledge trapped on old floppy disks
bbc.comยท6hยท
Discuss: Hacker News
๐Ÿ“ผCassette Archaeology
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.comยท2d
๐ŸงชBinary Fuzzing
The Day I Hacked XCTrack
blog.syrac.orgยท4hยท
Discuss: Hacker News
๐Ÿ”PKI Archaeology
Implicit `operator bool` participates in comparison
quuxplusone.github.ioยท19h
๐Ÿฆ€Rust Verification
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.comยท2d
โœ…Format Validation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification